-
1 знак дизъюнкции
Большой англо-русский и русско-английский словарь > знак дизъюнкции
-
2 знак дизъюнкции
Mathematics: disjunction sign, symbol of disjunction -
3 знак дизъюнкции
n -
4 знак дизъюнкции
disjunction sign мат.Русско-английский научно-технический словарь Масловского > знак дизъюнкции
-
5 disjunction sign
Большой англо-русский и русско-английский словарь > disjunction sign
-
6 disjunction sign
знак дизъюнкцииАнгло-русский большой универсальный переводческий словарь > disjunction sign
-
7 disjunction sign
-
8 disjunction
dɪsˈdʒʌŋkʃən сущ.
1) разделение;
разобщение;
деление, разъединение Syn: separation, disconnexion, disunion, disconnection, dissociation Ant: conjunction
2) тех. разъединение, размыкание (цепи)
3) лог.;
компьют.;
мат. дизъюнкция, логическое сложение, операция ИЛИ disjunction sign ≈ знак дизъюнкции disjunction operation ≈ операция дизъюнкции, операция логического сложения term of disjunction ≈ член дизъюнкции conditioned disjunction ≈ условная дизъюнкция exclusive disjunction ≈ разделительная дизъюнкция;
операция, исключающая ИЛИ inclusive disjunction ≈ неразделительная дизъюнкция;
операция, включающая ИЛИ разъединение;
расчленение;
отделение (логика) дизъюнкция - inclusive * неразделительная дизъюнкция (логика) дизъюнктивное суждение( техническое) разобщение, размыкание (электрической цепи и т. п.) disjunction вчт. дизъюнкция ~ вчт. операция ИЛИ ~ разделение;
разобщение;
разъединение ~ эл. размыкание (цепи)Большой англо-русский и русско-английский словарь > disjunction
-
9 disjunction
[dɪs'ʤʌŋkʃ(ə)n]сущ.1) разделение; разобщение; разъединениеSyn:Ant:2) тех. разъединение, размыкание ( цепи)3) информ.; мат. дизъюнкция, логическое сложение, операция ИЛИdisjunction operation — операция дизъюнкции, операция логического сложения
exclusive disjunction — разделительная дизъюнкция; операция, исключающая ИЛИ
inclusive disjunction — неразделительная дизъюнкция; операция, включающая ИЛИ
-
10 symbol of disjunction
Большой англо-русский и русско-английский словарь > symbol of disjunction
-
11 symbol of disjunction
Математика: знак дизъюнкции, знак логической суммы -
12 symbol of disjunction
мат.знак дизъюнкции, знак логической суммыEnglish-Russian scientific dictionary > symbol of disjunction
-
13 disjunction sign
Математика: знак дизъюнкции -
14 signe de disjonction
сущ.выч. знак дизъюнкции, символ операции логического сложенияФранцузско-русский универсальный словарь > signe de disjonction
-
15 disjunction sign
мат.
См. также в других словарях:
ЗНАК — материальный предмет (явление, событие), выступающий в качестве представителя некоторого др. предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний). Различают… … Философская энциклопедия
ИДЕМПОТЕНТНОСТЬ — (от лат. idem – тот же самый и potens – сильный, мощный; букв. – равносильность) – свойство нек рых объектов, рассматриваемое в логике (и алгебре) и выражаемое в общем случае формулой a*a=a. В частных случаях в формуле, выражающей И., может… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
разделительное суждение — дизъюнктивное (от лат. disjunctio разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки или . Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn суждение (член дизъюнкции, альтернатива), a… … Словарь терминов логики
Интуиционистское исчисление высказываний — Интуиционистское исчисление высказываний формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930. Основное отличие от привычного исчисления высказываний… … Википедия
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — закон классической логики, состоящий в том, что одно из двух высказываний Л и не Л является истинным. В математической логике И. т. з. выражается формулой где знак дизъюнкции, знак отрицания. С интуиционистской (конструктивной) точки зрения… … Математическая энциклопедия
Закон исключённого третьего — (лат. tertium non datur, то есть «третьего не дано») закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, то есть два суждения, одно из которых является… … Википедия
Tertium non datur — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Закон исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия
Закон исключения третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия